Auflistung nach Schlagwort "Model Checking"

Sortiert nach: Sortierung: Ergebnisse:

  • Model checking and validity in propositional and modal inclusion logics 
    Hella, Lauri; Kuusisto, Antti; Meier, Arne; Virtema, Jonni (Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2017)
    Propositional and modal inclusion logic are formalisms that belong to the family of logics based on team semantics. This article investigates the model checking and validity problems of these logics. We identify complexity ...
  • Time Constrained Verification of Analog Circuits using Model-Checking Algorithms 
    Grabowski, Darius; Platte, Daniel; Hedrich, Lars; Barke, Erich (Amsterdam : Elsevier BV, 2006)
    In this contribution we present algorithms for model checking of analog circuits enabling the specification of time constraints. Furthermore, a methodology for defining time-based specifications is introduced. An already ...